Tolerance synthesis: quantifier notion and virtual boundary
نویسندگان
چکیده
The purpose of functional tolerancing process is to define the geometrical specifications of parts ensuring functional requirements. For automotive and aircraft industries, the tolerance synthesis has become an important issue in product design process. Indeed, designers need methods and rules to determine the tolerances. To define rules, a mathematical formulation of tolerance synthesis is detailed. This mathematical formulation of tolerance synthesis simulates the influences of geometrical deviations on the geometrical behavior of the mechanism, and integrates the quantifier notion (existential quantifier ‘there exists’ and universal quantifier ‘for all’). It takes into account not only the influence of geometrical deviations but also the influence of the types of contacts on the geometrical behavior of the mechanism; these physical phenomena are modeled by convex hulls (compatibility hull, interface hull and functional hull) which are defined in parametric space. With this description by convex hulls, a mathematical expression of the admissible deviations of parts integrates the quantifier notion. This notion translates the concept that a functional requirement must be respected in at least one acceptable configuration of gaps (existential quantifier there exists), or that a functional requirement must be respected in all acceptable configurations of gaps (universal quantifier for all). With this approach, some rules are formalized to determine the modifier (maximum material condition or minimum material condition) function from the type of quantifier. These rules have been performed with success in French automotive industries. q 2004 Elsevier Ltd. All rights reserved.
منابع مشابه
Using Virtual Social Networks and Social Tolerance among Youths in Tehran
Difference and diversity are phenomena existing from the very first days human communities have been formed. Under such condition, what provides for necessity of coexistence between different individuals and groups to become possible is tolerance. On the other hand, wide range development in terms of communication and providing information are going on in today’s world. This evolution called by...
متن کاملQuantifier Elimination for Neocompact Sets
We shall prove quantifier elimination theorems for neocompact formulas, which define neocompact sets and are built from atomic formulas using finite disjunctions, infinite conjunctions, existential quantifiers, and bounded universal quantifiers. The neocompact sets were first introduced to provide an easy alternative to nonstandard methods of proving existence theorems in probability theory, wh...
متن کاملDetermining Components of Medical Instructional Design based on Virtual Reality by Research Synthesis
Introduction: The purpose of the present study was to determine the components of medical education design based on virtual reality by research synthesis method. Methods: In the present study a synthesis method was used. In order to study the research background and to collect appropriate data among the databases of Science Direct, Springer, Scopus, ProQuest and Eric (ERIC) search. With the ke...
متن کاملA The Tale of the Quantifier Alternation Hierarchy of First-Order Logic over Words
In other words, we ask whether the input language belongs to the class of languages defined by the logic, hence the name of the problem: the F-membership problem. Having an F-membership algorithm in hand amounts to having an effective description of all regular properties that F can express. This is why obtaining a membership algorithm is viewed as the goal to strive for when trying to get a pr...
متن کاملTarget Tracking Based on Virtual Grid in Wireless Sensor Networks
One of the most important and typical application of wireless sensor networks (WSNs) is target tracking. Although target tracking, can provide benefits for large-scale WSNs and organize them into clusters but tracking a moving target in cluster-based WSNs suffers a boundary problem. The main goal of this paper was to introduce an efficient and novel mobility management protocol namely Target Tr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Computer-Aided Design
دوره 37 شماره
صفحات -
تاریخ انتشار 2005